#! /bin/sh

anyfail="no"

for testfile in src/*.thud; do
	testname=`basename ${testfile} .thud`
	#echo $testname
	
	./check.sh ${testname}
	if [ "$?" != "0" ]; then
		anyfail="yes"
	fi
done

if [ "$anyfail" = "yes" ]; then
	echo "Some tests failed"
	exit 1
else
	echo "All tests passed"
	exit 0
fi
